$\forall$${\it es}$:ES, $e$, ${\it e'}$, $a$, $b$:E. $a$ before $b$ $\in$ [$e$, ${\it e'}$] $\Leftrightarrow$ ($a$ $<$loc $b$) \& $e$ $\leq$ $a$  \& $b$ $\leq$ ${\it e'}$